Knihy od autora Peter Csaba Ölveczky

Zobrazeno 1 – 12 z 12 výsledků

1. 

   Formal Techniques for Safety-Critical Systems

   Cyrille Artho, Peter Csaba Ölveczky | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
2. 

   Formal Aspects of Component Software

   Christiano Braga, Peter Csaba Ölveczky | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
3. 

   Rewriting Logic and Its Applications

   Peter Csaba Ölveczky | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
4. 

   Designing Reliable Distributed Systems

   Peter Csaba Ölveczky | Springer London Ltd, 2017

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Brožovaná

   1726 Kč

   Koupit
5. 

   Formal Techniques for Safety-Critical Systems

   Cyrille Artho, Peter Csaba Ölveczky | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
6. 

   Formal Aspects of Component Software

   Kyungmin Bae, Peter Csaba Ölveczky | Springer Nature Switzerland AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
7. 

   Formal Aspects of Component Software

   Farhad Arbab, Peter Csaba Ölveczky | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
8. 

   Formal Techniques for Safety-Critical Systems

   Cyrille Artho, Peter Csaba Ölveczky | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
9. 

   Formal Techniques for Safety-Critical Systems

   Cyrille Artho, Peter Csaba Ölveczky | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
10. 

    Formal Techniques for Safety-Critical Systems

    Cyrille Artho, Peter Csaba Ölveczky | Springer Nature Switzerland AG, 2019

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1350 Kč

    Koupit
11. 

    Software Engineering and Formal Methods

    Peter Csaba Ölveczky, Gwen Salaün | Springer, Berlin, 2019

    
    

    U nakladatele na objednávku - Odesíláme za 17-27 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1399 Kč

    Koupit
12. 

    Logic, Rewriting, and Concurrency

    Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott | Springer International Publishing AG, 2015

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1350 Kč

    Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více